semantic resolution tree